- Sections
- G - Physique
- G06F - Traitement électrique de données numériques
- G06F 30/3323 - Vérification de la conception, p.ex. simulation fonctionnelle ou vérification du modèle utilisant des méthodes formelles, p.ex. vérification de l’équivalence ou vérification des propriétés
Détention brevets de la classe G06F 30/3323
Brevets de cette classe: 287
Historique des publications depuis 10 ans
|
0
|
2
|
3
|
16
|
38
|
72
|
66
|
46
|
34
|
8
|
| 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | 2024 |
Propriétaires principaux
| Proprétaire |
Total
|
Cette classe
|
|---|---|---|
| Cadence Design Systems, Inc. | 1788 |
35 |
| Synopsys, Inc. | 2829 |
31 |
| International Business Machines Corporation | 60644 |
28 |
| Imagination Technologies Limited | 1458 |
28 |
| Taiwan Semiconductor Manufacturing Company, Ltd. | 36809 |
11 |
| Samsung Electronics Co., Ltd. | 131630 |
8 |
| Intel Corporation | 45621 |
8 |
| Amazon Technologies, Inc. | 24422 |
7 |
| Elite Semiconductor, Inc. | 17 |
7 |
| efabless corporation | 13 |
7 |
| Siemens Industry Software Inc. | 1633 |
5 |
| Texas Instruments Incorporated | 19376 |
4 |
| Changxin Memory Technologies, Inc. | 4732 |
4 |
| Siemens Electronic Design Automation GmbH | 40 |
4 |
| Xerox Corporation | 7503 |
3 |
| Xilinx, Inc. | 4086 |
3 |
| Realtek Semiconductor Corp. | 3028 |
3 |
| ARM Limited | 4353 |
3 |
| Arteris, Inc. | 108 |
3 |
| TSMC Nanjing Company, Limited | 99 |
3 |
| Autres propriétaires | 82 |